Backward Difference operator